You are here: irt.org | FOLDOC | formal methods
<mathematics, specification> Mathematically based techniques for the specification, development and verification of software and hardware systems.
Referentially transparent languages are amenable to symbolic manipulation allowing program transformation (e.g. changing a clear inefficient specification into an obscure but efficient program) and proof of correctness.
Oxford FM archive (http://comlab.ox.ac.uk/archive/formal-methods.html).
(1996-05-15)
Nearby terms: FORMAL « formal argument « Formal Description Technique « formal methods » Formal Object Role Modeling Language » formal review » format
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL